Testing of Software and Communicating Systems: 19th IFIP TC 6/WG 6.1 International Conference, TestCom 2007, 7th International Workshop, FATES 2007, ... Networks and Telecommunications)
by
ISBN 13: 9783540730651
Format: Paperback (379 pages) Publisher: Springer Published: 12 Jun 2007
Save for later
Formal Approaches to Software Testing: Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, Montreal, Quebec, Canada, ... 2931 (Lecture Notes in Computer Science)
by Andreas Ulrich,Alexandre Petrenko
ISBN 13: 9783540208945
Format: Paperback (276 pages) Publisher: Springer Published: 13 Jun 2008
The Unknown Component Problem: Theory and Applications
by Tiziano Villa,Nina Yevtushenko,Robert K. Brayton,Alan Mishchenko,Alexandre Petrenko,Alberto Sangiovanni-Vincentelli
ISBN 13: 9781489973948
Format: Paperback (328 pages) Publisher: Springer Published: 25 Jan 2014